Detecting Feature Interactions in Telecommunication Services with a SAT Solver
نویسندگان
چکیده
Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper we present an automatic method for detecting feature interactions in service specifications. This method uses bounded model checking, a SAT-based automatic verification technique.
منابع مشابه
Detecting Feature Interactions in Telecommunication Services by Bounded Model Checking
Feature interaction refers to situations where a combination of different services behaves differently than expected from the single services’ behaviors. In today’s intelligent telecommunication networks, feature interaction is considered a major obstacle to the introduction of new features. We propose a new interaction detection approach which uses bounded model checking. The central idea behi...
متن کاملFeature Interaction Detection by Bounded Model Checking
Feature interaction is the term used in telephony systems to refer to inconsistent conflict between multiple communication services. Feature interaction is considered a major obstacle to developing reliable telephony systems and many approaches have been explored to resolve it. In this paper we present an automatic method for detecting latent feature interaction in service specifications. This ...
متن کاملUsing Symbolic Model Checking to Detect Service Interactions in Telecommunication Services
Feature interaction is a kind of inconsistent conflict between multiple communication services. In this paper we present an automatic method for detecting feature interactions in service specifications. This method is based on symbolic model checking which can perform verification by symbolically representing the search space with binary decision diagrams. Experimental results show that the met...
متن کاملNew Feature Interactions in Mobile and Multimedia Telecommunication Services
Some previously unidentified sources of feature interaction arising in mobile and multimedia telecommunication systems are presented. We discuss how these feature interactions might be managed by feature developers and service providers. The Distributed Feature Composition (DFC) architecture has proven to be a valuable tool for elucidating these feature interactions, and for describing desirabl...
متن کاملFeature Interactions in Internet Telephony End Systems
Internet telephony end systems can offer many services. Different services may interfere with each other, a problem which is known as feature interaction. The feature interaction problem has existed in telecommunication systems for many years. The introduction of Internet telephony helps to solve some interaction problems due to the richness of its signaling information. However, many new featu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002